3.45 \(\int \frac{A+B x+C x^2}{\sqrt{1-d x} \sqrt{1+d x}} \, dx\)

Optimal. Leaf size=63 \[ \frac{\left (2 A d^2+C\right ) \sin ^{-1}(d x)}{2 d^3}-\frac{B \sqrt{1-d^2 x^2}}{d^2}-\frac{C x \sqrt{1-d^2 x^2}}{2 d^2} \]

[Out]

-((B*Sqrt[1 - d^2*x^2])/d^2) - (C*x*Sqrt[1 - d^2*x^2])/(2*d^2) + ((C + 2*A*d^2)*
ArcSin[d*x])/(2*d^3)

_______________________________________________________________________________________

Rubi [A]  time = 0.137221, antiderivative size = 63, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.133 \[ \frac{\left (2 A d^2+C\right ) \sin ^{-1}(d x)}{2 d^3}-\frac{B \sqrt{1-d^2 x^2}}{d^2}-\frac{C x \sqrt{1-d^2 x^2}}{2 d^2} \]

Antiderivative was successfully verified.

[In]  Int[(A + B*x + C*x^2)/(Sqrt[1 - d*x]*Sqrt[1 + d*x]),x]

[Out]

-((B*Sqrt[1 - d^2*x^2])/d^2) - (C*x*Sqrt[1 - d^2*x^2])/(2*d^2) + ((C + 2*A*d^2)*
ArcSin[d*x])/(2*d^3)

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 15.2679, size = 41, normalized size = 0.65 \[ - \frac{\left (2 B + C x\right ) \sqrt{- d^{2} x^{2} + 1}}{2 d^{2}} + \frac{\left (2 A d^{2} + C\right ) \operatorname{asin}{\left (d x \right )}}{2 d^{3}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((C*x**2+B*x+A)/(-d*x+1)**(1/2)/(d*x+1)**(1/2),x)

[Out]

-(2*B + C*x)*sqrt(-d**2*x**2 + 1)/(2*d**2) + (2*A*d**2 + C)*asin(d*x)/(2*d**3)

_______________________________________________________________________________________

Mathematica [A]  time = 0.0639585, size = 45, normalized size = 0.71 \[ \frac{\left (2 A d^2+C\right ) \sin ^{-1}(d x)-d \sqrt{1-d^2 x^2} (2 B+C x)}{2 d^3} \]

Antiderivative was successfully verified.

[In]  Integrate[(A + B*x + C*x^2)/(Sqrt[1 - d*x]*Sqrt[1 + d*x]),x]

[Out]

(-(d*(2*B + C*x)*Sqrt[1 - d^2*x^2]) + (C + 2*A*d^2)*ArcSin[d*x])/(2*d^3)

_______________________________________________________________________________________

Maple [C]  time = 0.023, size = 117, normalized size = 1.9 \[{\frac{{\it csgn} \left ( d \right ) }{2\,{d}^{3}}\sqrt{-dx+1}\sqrt{dx+1} \left ( 2\,A\arctan \left ({\frac{{\it csgn} \left ( d \right ) dx}{\sqrt{-{d}^{2}{x}^{2}+1}}} \right ){d}^{2}-Cx\sqrt{-{d}^{2}{x}^{2}+1}{\it csgn} \left ( d \right ) d-2\,B\sqrt{-{d}^{2}{x}^{2}+1}{\it csgn} \left ( d \right ) d+C\arctan \left ({{\it csgn} \left ( d \right ) dx{\frac{1}{\sqrt{-{d}^{2}{x}^{2}+1}}}} \right ) \right ){\frac{1}{\sqrt{-{d}^{2}{x}^{2}+1}}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((C*x^2+B*x+A)/(-d*x+1)^(1/2)/(d*x+1)^(1/2),x)

[Out]

1/2*(-d*x+1)^(1/2)*(d*x+1)^(1/2)*(2*A*arctan(csgn(d)*d*x/(-d^2*x^2+1)^(1/2))*d^2
-C*x*(-d^2*x^2+1)^(1/2)*csgn(d)*d-2*B*(-d^2*x^2+1)^(1/2)*csgn(d)*d+C*arctan(csgn
(d)*d*x/(-d^2*x^2+1)^(1/2)))/(-d^2*x^2+1)^(1/2)/d^3*csgn(d)

_______________________________________________________________________________________

Maxima [A]  time = 1.49925, size = 105, normalized size = 1.67 \[ \frac{A \arcsin \left (\frac{d^{2} x}{\sqrt{d^{2}}}\right )}{\sqrt{d^{2}}} - \frac{\sqrt{-d^{2} x^{2} + 1} C x}{2 \, d^{2}} - \frac{\sqrt{-d^{2} x^{2} + 1} B}{d^{2}} + \frac{C \arcsin \left (\frac{d^{2} x}{\sqrt{d^{2}}}\right )}{2 \, \sqrt{d^{2}} d^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x^2 + B*x + A)/(sqrt(d*x + 1)*sqrt(-d*x + 1)),x, algorithm="maxima")

[Out]

A*arcsin(d^2*x/sqrt(d^2))/sqrt(d^2) - 1/2*sqrt(-d^2*x^2 + 1)*C*x/d^2 - sqrt(-d^2
*x^2 + 1)*B/d^2 + 1/2*C*arcsin(d^2*x/sqrt(d^2))/(sqrt(d^2)*d^2)

_______________________________________________________________________________________

Fricas [A]  time = 0.231548, size = 244, normalized size = 3.87 \[ \frac{2 \, C d^{3} x^{3} + 2 \, B d^{3} x^{2} - 2 \, C d x -{\left (C d^{3} x^{3} + 2 \, B d^{3} x^{2} - 2 \, C d x\right )} \sqrt{d x + 1} \sqrt{-d x + 1} + 2 \,{\left (4 \, A d^{2} -{\left (2 \, A d^{4} + C d^{2}\right )} x^{2} - 2 \,{\left (2 \, A d^{2} + C\right )} \sqrt{d x + 1} \sqrt{-d x + 1} + 2 \, C\right )} \arctan \left (\frac{\sqrt{d x + 1} \sqrt{-d x + 1} - 1}{d x}\right )}{2 \,{\left (d^{5} x^{2} + 2 \, \sqrt{d x + 1} \sqrt{-d x + 1} d^{3} - 2 \, d^{3}\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x^2 + B*x + A)/(sqrt(d*x + 1)*sqrt(-d*x + 1)),x, algorithm="fricas")

[Out]

1/2*(2*C*d^3*x^3 + 2*B*d^3*x^2 - 2*C*d*x - (C*d^3*x^3 + 2*B*d^3*x^2 - 2*C*d*x)*s
qrt(d*x + 1)*sqrt(-d*x + 1) + 2*(4*A*d^2 - (2*A*d^4 + C*d^2)*x^2 - 2*(2*A*d^2 +
C)*sqrt(d*x + 1)*sqrt(-d*x + 1) + 2*C)*arctan((sqrt(d*x + 1)*sqrt(-d*x + 1) - 1)
/(d*x)))/(d^5*x^2 + 2*sqrt(d*x + 1)*sqrt(-d*x + 1)*d^3 - 2*d^3)

_______________________________________________________________________________________

Sympy [A]  time = 54.2803, size = 282, normalized size = 4.48 \[ - \frac{i A{G_{6, 6}^{6, 2}\left (\begin{matrix} \frac{1}{4}, \frac{3}{4} & \frac{1}{2}, \frac{1}{2}, 1, 1 \\0, \frac{1}{4}, \frac{1}{2}, \frac{3}{4}, 1, 0 & \end{matrix} \middle |{\frac{1}{d^{2} x^{2}}} \right )}}{4 \pi ^{\frac{3}{2}} d} + \frac{A{G_{6, 6}^{2, 6}\left (\begin{matrix} - \frac{1}{2}, - \frac{1}{4}, 0, \frac{1}{4}, \frac{1}{2}, 1 & \\- \frac{1}{4}, \frac{1}{4} & - \frac{1}{2}, 0, 0, 0 \end{matrix} \middle |{\frac{e^{- 2 i \pi }}{d^{2} x^{2}}} \right )}}{4 \pi ^{\frac{3}{2}} d} - \frac{i B{G_{6, 6}^{6, 2}\left (\begin{matrix} - \frac{1}{4}, \frac{1}{4} & 0, 0, \frac{1}{2}, 1 \\- \frac{1}{2}, - \frac{1}{4}, 0, \frac{1}{4}, \frac{1}{2}, 0 & \end{matrix} \middle |{\frac{1}{d^{2} x^{2}}} \right )}}{4 \pi ^{\frac{3}{2}} d^{2}} - \frac{B{G_{6, 6}^{2, 6}\left (\begin{matrix} -1, - \frac{3}{4}, - \frac{1}{2}, - \frac{1}{4}, 0, 1 & \\- \frac{3}{4}, - \frac{1}{4} & -1, - \frac{1}{2}, - \frac{1}{2}, 0 \end{matrix} \middle |{\frac{e^{- 2 i \pi }}{d^{2} x^{2}}} \right )}}{4 \pi ^{\frac{3}{2}} d^{2}} - \frac{i C{G_{6, 6}^{6, 2}\left (\begin{matrix} - \frac{3}{4}, - \frac{1}{4} & - \frac{1}{2}, - \frac{1}{2}, 0, 1 \\-1, - \frac{3}{4}, - \frac{1}{2}, - \frac{1}{4}, 0, 0 & \end{matrix} \middle |{\frac{1}{d^{2} x^{2}}} \right )}}{4 \pi ^{\frac{3}{2}} d^{3}} + \frac{C{G_{6, 6}^{2, 6}\left (\begin{matrix} - \frac{3}{2}, - \frac{5}{4}, -1, - \frac{3}{4}, - \frac{1}{2}, 1 & \\- \frac{5}{4}, - \frac{3}{4} & - \frac{3}{2}, -1, -1, 0 \end{matrix} \middle |{\frac{e^{- 2 i \pi }}{d^{2} x^{2}}} \right )}}{4 \pi ^{\frac{3}{2}} d^{3}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x**2+B*x+A)/(-d*x+1)**(1/2)/(d*x+1)**(1/2),x)

[Out]

-I*A*meijerg(((1/4, 3/4), (1/2, 1/2, 1, 1)), ((0, 1/4, 1/2, 3/4, 1, 0), ()), 1/(
d**2*x**2))/(4*pi**(3/2)*d) + A*meijerg(((-1/2, -1/4, 0, 1/4, 1/2, 1), ()), ((-1
/4, 1/4), (-1/2, 0, 0, 0)), exp_polar(-2*I*pi)/(d**2*x**2))/(4*pi**(3/2)*d) - I*
B*meijerg(((-1/4, 1/4), (0, 0, 1/2, 1)), ((-1/2, -1/4, 0, 1/4, 1/2, 0), ()), 1/(
d**2*x**2))/(4*pi**(3/2)*d**2) - B*meijerg(((-1, -3/4, -1/2, -1/4, 0, 1), ()), (
(-3/4, -1/4), (-1, -1/2, -1/2, 0)), exp_polar(-2*I*pi)/(d**2*x**2))/(4*pi**(3/2)
*d**2) - I*C*meijerg(((-3/4, -1/4), (-1/2, -1/2, 0, 1)), ((-1, -3/4, -1/2, -1/4,
0, 0), ()), 1/(d**2*x**2))/(4*pi**(3/2)*d**3) + C*meijerg(((-3/2, -5/4, -1, -3/
4, -1/2, 1), ()), ((-5/4, -3/4), (-3/2, -1, -1, 0)), exp_polar(-2*I*pi)/(d**2*x*
*2))/(4*pi**(3/2)*d**3)

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.222581, size = 97, normalized size = 1.54 \[ -\frac{{\left ({\left (d x + 1\right )} C d^{4} + 2 \, B d^{5} - C d^{4}\right )} \sqrt{d x + 1} \sqrt{-d x + 1} - 2 \,{\left (2 \, A d^{6} + C d^{4}\right )} \arcsin \left (\frac{1}{2} \, \sqrt{2} \sqrt{d x + 1}\right )}{192 \, d} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x^2 + B*x + A)/(sqrt(d*x + 1)*sqrt(-d*x + 1)),x, algorithm="giac")

[Out]

-1/192*(((d*x + 1)*C*d^4 + 2*B*d^5 - C*d^4)*sqrt(d*x + 1)*sqrt(-d*x + 1) - 2*(2*
A*d^6 + C*d^4)*arcsin(1/2*sqrt(2)*sqrt(d*x + 1)))/d